Franco Montagna : rechercher sur Z-Library

Montagna, Franco, Simi, Giulia, Sorbi, Andrea

Année:

2000

Langue:

english

Fichier:

PDF, 250 KB

english, 2000

Taking the Pirahã seriously

Journal:

Communications in Nonlinear Science and Numerical Simulation

Année:

2015

Langue:

english

Fichier:

PDF, 575 KB

english, 2015

Complexity of t-tautologies

Matthias Baaz, Petr Hájek, Franco Montagna, Helmut Veith

Journal:

Annals of Pure and Applied Logic

Année:

2001

Langue:

english

Fichier:

PDF, 87 KB

english, 2001

An Algebraic Approach to Propositional Fuzzy Logic

Journal of Logic, Language and Information

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 196 KB

english, 2000

Amalgamation and interpolation in ordered algebras

Metcalfe, George, Montagna, Franco, Tsinakis, Constantine

Journal:

Journal of Algebra

Année:

2014

Langue:

english

Fichier:

PDF, 689 KB

english, 2014

Provability Logic || On the Proof of Solovay's Theorem

Dick de Jongh, Marc Jumelet and Franco Montagna

Journal:

Franco Montagna, G. Michele Pinna, B. P. Tiezzi

Année:

1991

Langue:

english

Fichier:

PDF, 1.67 MB

english, 1991

Investigations on Fragments of First Order Branching Temporal Logic

Journal:

Année:

2002

Langue:

english

Fichier:

PDF, 195 KB

english, 2002

ZFC-MODELS AS KRIPKE-MODELS

Journal:

Franco Montagna, Lorenzo Sacchetti

Année:

1983

Langue:

english

Fichier:

PDF, 396 KB

english, 1983

Kripke-style semantics for many-valued logics

Journal:

Année:

2003

Langue:

english

Fichier:

PDF, 192 KB

english, 2003

Functorial Representation Theorems for MVΔ Algebras with Additional Operators

Tommaso Flaminio, Franco Montagna

Journal:

Journal of Algebra

Année:

2001

Langue:

english

Fichier:

PDF, 203 KB

english, 2001

MV-algebras with internal states and probabilistic fuzzy logics

Journal:

International Journal of Approximate Reasoning

Année:

2009

Langue:

english

Fichier:

PDF, 295 KB

english, 2009

PAC learning of probability distributions over a discrete domain

Letizia Magnoni, Massimo Mirolli, Franco Montagna, Giulia Simi

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 307 KB

english, 2003

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

Journal:

Duccio Luchi, Franco Montagna

Année:

1980

Langue:

english

Fichier:

PDF, 455 KB

english, 1980

An Operational Logic of Proofs with Positive and Negative Information

Journal:

Sándor Jenei, Franco Montagna

Année:

1999

Fichier:

PDF, 673 KB

1999

A Proof of Standard Completeness for Esteva and Godo's Logic MTL

Journal:

Franco Montagna, Hiroakira Ono

Année:

2002

Fichier:

PDF, 1.86 MB

2002

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

Journal:

Montagna, Franco, Pianigiani, Duccio

Année:

2002

Fichier:

PDF, 667 KB

2002

A Short Note on Essentially Σ1Sentences

Journal:

Logica Universalis

Année:

2013

Langue:

english

Fichier:

PDF, 206 KB

english, 2013

[Outstanding Contributions to Logic] Petr Hájek on Mathematical Fuzzy Logic Volume 6 ||

Montagna, Franco

Année:

2015

Langue:

english

Fichier:

PDF, 4.96 MB

english, 2015

Some properties of the syntactic p-recursion categories generated by consistent, recursively enumerable extensions of Peano arithmetic.

Paola, Robert A. Di, Montagna, Franco

Journal:

Journal of Symbolic Logic

Année:

1991

Langue:

english

Fichier:

PDF, 1.08 MB

english, 1991

Provability in finite subtheories of PA and relative interpretability: a modal investigation

Montagna, Franco

Journal:

Journal of Symbolic Logic

Année:

1987

Langue:

english

Fichier:

PDF, 982 KB

english, 1987

Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL

Bianchi, Matteo, Montagna, Franco

Journal:

Viroli, Mirko, Pianini, Danilo, Montagna, Sara, Stevenson, Graeme, Zambonelli, Franco

Année:

2015

Langue:

english

Fichier:

PDF, 554 KB

english, 2015

A coordination model of pervasive service ecosystems

Journal:

Science of Computer Programming

Année:

2015

Langue:

english

Fichier:

PDF, 2.41 MB

english, 2015

Systemic Sclerosis

FERRI, CLODOVEO, VALENTINI, GABRIELE, COZZI, FRANCO, SEBASTIANI, MARCO, MICHELASSI, CLAUDIO, LA MONTAGNA, GIOVANNI, BULLO, ARIANNA, CAZZATO, MASSIMILIANO, TIRRI, ENRICO, STORINO, FRANCA, GIUGGIOLI, DI

Journal:

Medicine (Williams & Wilkins)

Année:

2002

Langue:

english

Fichier:

PDF, 3.67 MB

english, 2002

Erratum to: Trakhtenbrot Theorem and First-Order Axiomatic Extensions of MTL

Bianchi, Matteo, Montagna, Franco

Journal:

Année:

2015

Fichier:

PDF, 196 KB

2015

Relatively Precomplete Numerations and Arithmetic

Journal of Philosophical Logic

Journal:

Année:

1982

Langue:

english

Fichier:

PDF, 943 KB

english, 1982

Dedicated to the Memory of Leo Esakia || Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 2.20 MB

english, 2012

Interpretations of the First-Order Theory of Diagonalizable Algebras in Peano Arithmetic

Journal:

Dick H. J. de Jongh and Franco Montagna

Année:

1980

Langue:

english

Fichier:

PDF, 918 KB

english, 1980

Generic Generalized Rosser Fixed Points

Journal:

Francesc Esteva, Joan Gispert, Lluís Godo and Franco Montagna

Année:

1987

Langue:

english

Fichier:

PDF, 1.40 MB

english, 1987

On the Standard and Rational Completeness of Some Axiomatic Extensions of the Monoidal T-Norm Logic

Journal:

Dobson, Simon, Viroli, Mirko, Fernandez-Marquez, Jose Luis, Zambonelli, Franco, Stevenson, Graeme, Di Marzo Serugendo, Giovanna, Montagna, Sara, Pianini, Danilo, Ye, Juan, Castelli, Gabriella, Rosi, A

Année:

2002

Langue:

english

Fichier:

PDF, 2.83 MB

english, 2002

Spatial awareness in pervasive ecosystems

Journal:

The Knowledge Engineering Review

Année:

2016

Langue:

english

Fichier:

PDF, 601 KB

english, 2016

Complementing Agents with Cognitive Services: A Case Study in Healthcare

Montagna, Sara, Mariani, Stefano, Gamberini, Emiliano, Ricci, Alessandro, Zambonelli, Franco

Journal:

Journal of Medical Systems

Année:

2020

Fichier:

PDF, 802 KB

2020

Marked and sustained improvement two years after autologous stem cell transplantation in a girl with systemic sclerosis

Alberto Martini, Rita Maccario, Angelo Ravelli, Daniela Montagna, Fabrizio De Benedetti, Federico Bonetti, Stefania Viola, Marco Zecca, Cesare Perotti, Franco Locatelli

Journal:

Arthritis & Rheumatism

Année:

1999

Langue:

english

Fichier:

PDF, 101 KB

english, 1999

Ex vivo generation and expansion of anti-tumor cytotoxic T-cell lines derived from patients or their HLA-identical sibling

Daniela Montagna, Roberta Schiavo, Nadia Gibelli, Paolo Pedrazzoli, Roberto Tonelli, Sara Pagani, Elisa Assirelli, Franco Locatelli, Andrea Pession, Vittorio Fregoni, Elisa Montini, Gian Antonio Da Pr

Journal:

International Journal of Cancer

Année:

2004

Langue:

english

Fichier:

PDF, 304 KB

english, 2004

A COMPLETENESS RESULT FOR FIXED-POINT ALGEBRAS

Journal:

Année:

1984

Langue:

english

Fichier:

PDF, 468 KB

english, 1984

Iterated Extensional Rosser's Fixed Points and Hyperhyperdiagonalizable Algebras

Journal:

Dick De Jongh, Franco Montagna

Année:

1987

Langue:

english

Fichier:

PDF, 605 KB

english, 1987

Provable Fixed Points

Journal:

Alessandra Carbone, Franco Montagna

Année:

1988

Langue:

english

Fichier:

PDF, 1.26 MB

english, 1988

Rosser Orderings in Bimodal Logics

Journal:

Dick de Jongh, Franco Montagna

Année:

1989

Langue:

english

Fichier:

PDF, 902 KB

english, 1989

Much Shorter Proofs

Journal:

Alessandra Carbone, Franco Montagna

Année:

1989

Langue:

english

Fichier:

PDF, 879 KB

english, 1989

Much shorter proofs: A bimodal investigation

Journal:

Sandra Fontani, Franco Montagna, Andrea Sorbi

Année:

1990

Langue:

english

Fichier:

PDF, 1.14 MB

english, 1990

A Note on Relative Efficiency of Axiom Systems

Journal:

Franco Montagna, Lorenzo Sacchetti

Année:

1994

Langue:

english

Fichier:

PDF, 664 KB

english, 1994

Corrigendum to “Kripke-style semantics for many-valued logics”

Journal:

Petr Hájek, Franco Montagna

Année:

2004

Langue:

english

Fichier:

PDF, 90 KB

english, 2004

A note on the first-order logic of complete BL-chains

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 159 KB

english, 2008

Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation